École Polytechnique - PDFSEARCH.IO - Document Search Engine

École Polytechnique
Results: 1336

#	Item
521	RANKING UNIVERSIDADES - INGENIERÍA Y TECNOLOGÍA La información corresponde a los rankings ARWU y Times (THEy será utilizada para las convocatoriasUNIVERSIDAD MASSACHUSETTS INSTITUTE OF TECHNOLOGY Add to Reading List Source URL: www.conicyt.cl Language: English - Date: 2015-02-26 09:13:24 Lausanne École Polytechnique Fédérale de Lausanne Institute of technology National Academy of Sciences Education Academia Knowledge
522	STUDY OF LANGMUIR TURBULENCE GENERATED BY AN ELECTRON BEAM IN THE INHOMOGENEOUS PLASMA A.S. Volokitin1 , C. Krafft2 , and V.V. Krasnoselskikh3 / IKI, RAS, Russia, 2 LPP, Ecole Polytechnique, Univ. Paris-Sud, France 3 LPC Add to Reading List Source URL: physics.bgu.ac.il Language: English - Date: 2014-01-24 14:15:36 Astrophysics Plasma Electron Waves in plasmas Solar wind Double layer Physics Plasma physics Space plasmas
523	A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-12 19:07:51 Mathematics Automated theorem proving Logic programming Unification Curry–Howard correspondence First-order logic Interpretation Heat equation SKI combinator calculus Mathematical logic Logic Model theory
524	A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-12 19:07:51 Automated theorem proving Logic programming Unification Recursive data type Symbol Fold Software engineering Computing Theoretical computer science
525	Dimitrios Chatzopoulos PhD student, Computer Science & Engineering Department, Hong Kong University of Science & Technology Education–now PhD, Department of Computer Science & Engineering,Hong Kong University of Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2015-03-26 15:47:28 Tai Po Tsai École Polytechnique Fédérale de Lausanne University of Thessaly Tongji University Hong Kong Hong Kong University of Science and Technology Sai Kung District
526	PDF Document Add to Reading List Source URL: www.vldb.org Language: English - Date: 2010-11-18 12:36:40 Academia Gerhard Weikum Microsoft Research IBM Research École Polytechnique Fédérale de Lausanne Technology Computer science H. V. Jagadish VLDB
527	CURRICULUM VITÆ Personal Information ´ ro ˆ me Last Name: FERET First Name: Je Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-08 09:17:09 École Normale Supérieure Education Academia École Polytechnique Fédérale de Lausanne École Polytechnique Doctorate Grandes écoles Écoles Normales Supérieures 5th arrondissement of Paris
528	WISE 2010 Final Program Monday Dec 13 8:00-8:30 Registration: Rose & Peony Room Add to Reading List Source URL: conference.cs.cityu.edu.hk Language: English - Date: 2010-12-12 20:47:51 Project 211 Project 985 École Polytechnique Fédérale de Lausanne Institute of technology Knowledge Wuhan Hong Kong Baptist University Education Academia Fudan University
529	Modelling of Protein Palmitoylation Networks Dallavilla Tiziano1,2,3, Abrami L.2, Savoglidis G.1,3, Van der Goot F.G.2, Hatzimanikatis V.1,3 1 Laboratory of Computational Systems Biotechnology, Ecole Polytechnique Fédé Add to Reading List Source URL: ws9.websitepanelonline.com Language: English - Date: 2014-09-08 00:30:36 Knowledge Science Australian Drug Foundation Nutrition Health
530	Genetic and Evolutionary Computation Conference 2008 Conference Program Table of Contents GECCO is evolving! ........................................................................... 1 Program Outline.................. Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 14:42:57 Association for Computing Machinery Enrique Alba Evolutionary computation École Polytechnique Fédérale de Lausanne National Institute for Research in Computer Science and Control Institute of technology American University of Science and Technology National university University of Freiburg Education Academia Knowledge

UPDATE